Reasoning Support for OWL-E

نویسنده

  • Jeff Z. Pan
چکیده

Syntax DL Syntax Semantics domain(u1, . . . , un) (u1, . . . , un) u D 1 × . . .× un

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Empowering OWL with Overriding Inheritance, Conflict Resolution and Non-monotonic Reasoning

The popularity of OWL for knowledge representation in the Semantic Web applications makes it an attractive platform. Although OWL supports some form of object-oriented features for knowledge structuring and maintenance, it is significantly weak in capturing most essential object-oriented features such as single and multiple inheritance, default class values, methods, overriding and encapsulatio...

متن کامل

Verifying feature models using OWL

Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, he lack of a formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also how that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should ...

متن کامل

Pellet: A practical OWL-DL reasoner

In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive iddleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning ith individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies....

متن کامل

Implementing OWL Defaults

While it has been argued that knowledge representation for the World Wide Web must respect the open world assumption due to the “open” nature of the Web, users of the Web Ontology Language (OWL) have often requested some form of non-monotonic reasoning. In this paper, we present preliminary optimizations and an implementation of a restricted version of Reiter’s default logic as an extension to ...

متن کامل

Modelling and Reasoning in Metamodelling Enabled Ontologies

Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodelling architecture, the standard Web Ontology Language (OWL) does ...

متن کامل

Exploiting OWL Reasoning Services to Execute Ontologically-Modeled Clinical Practice Guidelines

Ontology-based modeling of Clinical Practice Guidelines (CPG) is a well-established approach to computerize CPG for execution in clinical decision support systems. Many CPG computerization approaches use the Web Ontology Language (OWL) to represent the CPG’s knowledge, but they do not exploit its reasoning services to execute the CPG. In this paper, we present our CPG execution approach that le...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004